package br.usp.ime.origami.main;

public class ComplexityProof
{

}
